Search Results

Journal:Pakistan Journal of Engineering & Applied Sciences, 2017, Volume 20, Issue No 1

Author(s): Usman Khalil, Noor Muhammad Khan, Habib-ur-Rehman

Keyword(s): Floodplain maps, Frequency analysis, DEM SRTM, Inundation, Flood hazard and extent

Journal:Mehran University Research Journal of Engineering and Technology, 2015, Volume 34, Issue No 1

Author(s): MUHAMMAD KHAN BURDI, MOHAMMAD ASLAM UQAILI, MUHAMMAD RASHID MEMON

Keyword(s): Universal Motor, Dynamic Behavior, Steady-State, Transients, Electric Machine Modeling, Simulation

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2017, Volume 8, Issue No 2

Author(s): Nadeem Akhtar, Malik M. Saad Missen, Dost Muhammad Khan

Keyword(s): Multi-Agent System, Location Guidance, Formal verifications, Architecture specifications, Correctness, Architecture Description Languages (ADLs), Finite State Process (FSP), Labelled Transition System (LTS), Labelled Transition System Analyzer (LTSA)

Journal:Journal of Information Communication Technologies and Robotic Applications (JICTRA), 2018, Volume 9, Issue No 1

Author(s): Nadeem Akhtar, Abdul Rehman, Dost Muhammad Khan

Keyword(s): Flood monitoring, Formal modeling, Formal verification, Safety property, Liveness property, Coloured Petri Nets (CPNs), Event-B, RODIN

Journal:Journal of Engineering and Applied Sciences (JEAS), 2017, Volume 36, Issue No 2

Author(s): Sajjad Hussain, Nisar Mohammad, Zahid Ur Rehman, Noor Muhammad Khan, Ishaq Ahmad

Keyword(s): Complex ore, Cyanidation process, parameter optimization

Journal:Journal of Applied & Emerging Sciences, 2018, Volume 8, Issue No 2

Author(s): Naseer Muhammad Khan, Imtiaz Ali, Hamid Ullah

Keyword(s): Phosphate rock, Ore Upgradation, Ghari Habib Ullah, Design, Flowsheet

Journal:Bahria University Journal of Information & Communication Technology, 2016, Volume 9, Special Issue

Author(s): Syed Waqar Alam, Bilal Muhammad Khan

Keyword(s): Communication, FPGA, Intelligent Transport System, Test Bed, VANET